[next] [prev] [prev-tail] [tail] [up]

Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 20 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 0.91 0.14 1.00

time (sec)

N/A 0.034 0.824 3.739 0.000 0.000 0.465 48.230 0.426

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 0 14 0 14 14

N.S.

1 1.00 1.00 0.83 0.00 0.78 0.00 0.78 0.78

time (sec)

N/A 0.018 0.007 3.865 0.000 0.246 0.000 0.277 0.427

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 19 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.79 0.12 1.00

time (sec)

N/A 0.076 0.333 3.865 0.000 0.000 0.961 24.105 0.466

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 20 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.83 0.12 1.00

time (sec)

N/A 0.071 0.776 4.250 0.000 0.000 1.136 29.696 0.466

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 20 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.83 0.12 1.00

time (sec)

N/A 0.133 1.911 3.585 0.000 0.000 1.410 28.661 0.455

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 20 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.83 0.12 1.00

time (sec)

N/A 0.128 5.333 4.870 0.000 0.000 2.096 28.700 0.463

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 39 32 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.62 1.33 0.12 1.00

time (sec)

N/A 0.043 1.537 13.775 0.000 0.277 29.841 51.841 0.526

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 32 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.33 0.12 1.00

time (sec)

N/A 0.045 3.119 12.627 0.000 0.000 1.129 61.126 0.480

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 66 60 0 0 0 0 0

N.S.

1 1.00 0.82 0.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.103 0.335 6.348 0.000 0.000 0.000 0.000 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 136 45 0 0 0 0 0

N.S.

1 1.00 1.72 0.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.090 0.245 5.679 0.000 0.000 0.000 0.000 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 68 57 0 0 0 0 0

N.S.

1 1.00 0.88 0.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.081 0.302 6.529 0.000 0.000 0.000 0.000 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 29 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.21 0.12 1.00

time (sec)

N/A 0.046 0.873 4.711 0.000 0.000 1.592 30.438 0.495

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 50 41 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.08 1.71 0.12 1.00

time (sec)

N/A 0.047 1.577 9.549 0.000 0.278 114.913 52.264 0.538

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 41 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.71 0.12 1.00

time (sec)

N/A 0.045 4.145 12.707 0.000 0.000 2.196 69.474 0.465

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 181 102 0 0 0 0 0

N.S.

1 1.00 1.30 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.130 0.463 6.960 0.000 0.000 0.000 0.000 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 230 93 0 0 0 0 0

N.S.

1 1.00 1.95 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.157 0.563 6.398 0.000 0.000 0.000 0.000 0.000

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 141 66 0 0 0 0 0

N.S.

1 1.00 1.70 0.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.101 0.371 5.651 0.000 0.000 0.000 0.000 0.000

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 230 94 0 0 0 0 0

N.S.

1 1.00 1.95 0.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.112 0.493 6.375 0.000 0.000 0.000 0.000 0.000

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 103 102 0 0 0 0 0

N.S.

1 1.00 0.74 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.105 0.479 6.403 0.000 0.000 0.000 0.000 0.000

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 37 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.54 0.12 1.00

time (sec)

N/A 0.042 1.254 4.442 0.000 0.000 3.256 34.004 0.529

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 24 26 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.92 1.00 0.00 0.92

time (sec)

N/A 0.066 1.437 12.767 0.000 0.250 63.431 0.000 0.351

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.070 4.656 14.003 0.000 0.000 5.902 77.992 0.343

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 24 0 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 1.00 0.00 0.92

time (sec)

N/A 0.071 3.668 9.270 0.000 0.000 2.875 0.000 0.360

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 22 0 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.96 0.00 0.91

time (sec)

N/A 0.023 0.230 12.940 0.000 0.000 1.477 0.000 0.348

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 24 0 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.92 0.00 0.00 0.92

time (sec)

N/A 0.074 1.447 16.436 0.000 0.255 0.000 0.000 0.344

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.081 4.684 16.084 0.000 0.000 129.201 73.314 0.349

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 24 0 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 1.00 0.00 0.92

time (sec)

N/A 0.080 4.845 13.464 0.000 0.000 60.579 0.000 0.337

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 22 0 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.96 0.00 0.91

time (sec)

N/A 0.026 1.848 13.081 0.000 0.000 32.726 0.000 0.345

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 49 0 0 24

N.S.

1 1.00 1.08 0.85 0.00 1.88 0.00 0.00 0.92

time (sec)

N/A 0.075 1.747 22.654 0.000 0.259 0.000 0.000 0.337

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.00 0.12 0.92

time (sec)

N/A 0.083 4.068 14.263 0.000 0.000 0.000 73.540 0.332

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 0 0 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 0.00 0.00 0.92

time (sec)

N/A 0.086 4.351 14.536 0.000 0.000 0.000 0.000 0.334

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 0 0 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.00 0.00 0.91

time (sec)

N/A 0.025 0.365 13.439 0.000 0.000 0.000 0.000 0.363

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 24 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.92 1.00 0.12 0.92

time (sec)

N/A 0.069 1.348 16.205 0.000 0.263 32.723 51.716 0.353

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.00 0.92

time (sec)

N/A 0.220 4.889 14.576 0.000 0.000 7.968 0.000 0.335

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.146 3.505 13.914 0.000 0.000 4.081 182.161 0.336

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 24 3 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.078 0.945 7.342 0.000 0.000 1.938 191.315 0.334

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 22 3 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.96 0.13 0.91

time (sec)

N/A 0.024 0.184 7.868 0.000 0.000 0.856 169.363 0.353

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 24 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.92 0.12 0.92

time (sec)

N/A 0.070 1.609 14.517 0.000 0.000 1.864 168.353 0.345

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.141 2.361 14.135 0.000 0.000 4.247 184.655 0.334

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.220 8.012 14.829 0.000 0.000 8.014 185.548 0.355

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.290 16.032 14.486 0.000 0.000 19.105 186.459 0.334

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 51 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 1.96 1.00 0.12 0.92

time (sec)

N/A 0.079 1.511 12.403 0.000 0.260 102.355 52.401 0.340

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.00 0.92

time (sec)

N/A 0.085 7.729 7.350 0.000 0.000 9.944 0.000 0.352

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.080 4.198 7.040 0.000 0.000 5.246 67.521 0.332

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 121 0 0 0 0 0 0

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.126 0.146 0.000 0.000 0.000 0.000 0.000 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 117 0 0 0 0 0 0

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.086 0.124 0.000 0.000 0.000 0.000 0.000 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 24 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.92 0.12 0.92

time (sec)

N/A 0.082 2.648 11.481 0.000 0.000 8.703 35.841 0.344

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.083 4.987 11.353 0.000 0.000 18.055 40.770 0.346

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 62 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 2.38 0.00 0.12 0.92

time (sec)

N/A 0.077 2.381 33.796 0.000 0.268 0.000 51.916 0.333

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.082 7.186 30.049 0.000 0.000 50.886 83.620 0.344

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

215 215 324 0 0 0 0 0 0

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.234 0.461 0.000 0.000 0.000 0.000 0.000 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 163 133 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.294 0.388 0.000 0.000 0.000 0.000 0.000 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 163 167 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.179 0.361 0.000 0.000 0.000 0.000 0.000 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

213 213 252 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.138 0.547 0.000 0.000 0.000 0.000 0.000 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 24 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.92 0.12 0.92

time (sec)

N/A 0.083 3.789 14.428 0.000 0.000 61.562 45.009 0.359

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 22 0 3 22

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.00 0.14 1.00

time (sec)

N/A 0.026 0.908 8.177 0.000 0.251 0.000 51.818 0.619

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 31 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.41 0.14 1.00

time (sec)

N/A 0.024 5.259 4.261 0.000 0.000 8.873 78.967 0.516

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 0 29 3 20

N.S.

1 1.00 1.10 0.90 0.00 0.00 1.45 0.15 1.00

time (sec)

N/A 0.029 0.871 3.771 0.000 0.000 6.413 78.990 0.506

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 17 0 0 27 3 19

N.S.

1 1.00 1.11 0.89 0.00 0.00 1.42 0.16 1.00

time (sec)

N/A 0.019 2.420 3.594 0.000 0.000 3.853 77.829 0.553

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 27 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.23 0.14 1.00

time (sec)

N/A 0.024 1.238 4.792 0.000 0.000 4.956 194.848 0.505

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 27 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.23 0.14 1.00

time (sec)

N/A 0.024 0.874 5.700 0.000 0.000 4.432 192.307 0.529

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 37 0 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.54 0.00 0.12 1.00

time (sec)

N/A 0.039 0.759 10.661 0.000 0.259 0.000 51.635 0.556

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 51 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.12 0.12 1.00

time (sec)

N/A 0.039 3.697 4.945 0.000 0.000 18.017 78.596 0.465

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 49 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 2.23 0.14 1.00

time (sec)

N/A 0.044 0.918 4.806 0.000 0.000 13.869 78.300 0.453

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 48 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 2.29 0.14 1.00

time (sec)

N/A 0.051 1.378 3.572 0.000 0.000 9.108 78.310 0.450

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.12 1.00

time (sec)

N/A 0.035 1.251 5.474 0.000 0.000 9.748 260.897 0.490

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.12 1.00

time (sec)

N/A 0.038 1.180 5.161 0.000 0.000 7.597 253.696 0.475

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 48 0 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.00 0.00 0.12 1.00

time (sec)

N/A 0.038 0.557 9.622 0.000 0.261 0.000 52.281 0.517

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 70 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.92 0.12 1.00

time (sec)

N/A 0.039 3.560 4.066 0.000 0.000 37.408 77.701 0.479

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 68 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 3.09 0.14 1.00

time (sec)

N/A 0.046 0.950 4.866 0.000 0.000 29.828 77.003 0.448

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 66 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 3.14 0.14 1.00

time (sec)

N/A 0.094 1.405 3.599 0.000 0.000 18.509 76.854 0.451

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 66 0 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.75 0.00 1.00

time (sec)

N/A 0.034 1.208 5.001 0.000 0.000 17.762 0.000 0.467

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 66 0 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.75 0.00 1.00

time (sec)

N/A 0.038 1.430 4.932 0.000 0.000 15.143 0.000 0.467

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 24 22 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.00 0.92 0.12 1.00

time (sec)

N/A 0.046 0.649 5.833 0.000 0.253 71.781 52.023 0.529

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 22 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.92 0.12 1.00

time (sec)

N/A 0.087 3.383 3.618 0.000 0.000 2.701 78.813 0.453

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 22 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.92 0.12 1.00

time (sec)

N/A 0.066 0.748 3.617 0.000 0.000 1.765 78.431 0.446

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 20 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 0.91 0.14 1.00

time (sec)

N/A 0.034 0.799 4.200 0.000 0.000 1.417 74.303 0.438

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 0 14 0 14 14

N.S.

1 1.00 1.00 0.83 0.00 0.78 0.00 0.78 0.78

time (sec)

N/A 0.018 0.005 4.584 0.000 0.247 0.000 0.281 0.456

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 19 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.79 0.12 1.00

time (sec)

N/A 0.074 0.322 4.918 0.000 0.000 1.214 72.274 0.472

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 20 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.83 0.12 1.00

time (sec)

N/A 0.077 0.611 3.724 0.000 0.000 1.877 73.134 0.470

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 20 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.83 0.12 1.00

time (sec)

N/A 0.134 1.646 3.363 0.000 0.000 2.606 73.642 0.488

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 20 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 0.83 0.12 1.00

time (sec)

N/A 0.129 4.223 4.246 0.000 0.000 3.633 72.604 0.484

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 39 32 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.62 1.33 0.12 1.00

time (sec)

N/A 0.046 1.476 15.977 0.000 0.253 92.104 51.936 0.559

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 32 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.33 0.12 1.00

time (sec)

N/A 0.045 3.308 14.748 0.000 0.000 3.424 87.403 0.466

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 187 75 0 0 0 0 0

N.S.

1 1.00 1.47 0.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.133 0.480 7.453 0.000 0.000 0.000 0.000 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 75 64 0 0 0 0 0

N.S.

1 1.00 0.69 0.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.114 0.101 6.783 0.000 0.000 0.000 0.000 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 186 75 0 0 0 0 0

N.S.

1 1.00 1.50 0.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.110 0.438 7.272 0.000 0.000 0.000 0.000 0.000

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 29 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.21 0.12 1.00

time (sec)

N/A 0.045 0.887 4.587 0.000 0.000 2.414 82.786 0.526

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 50 0 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.08 0.00 0.12 1.00

time (sec)

N/A 0.049 1.423 13.468 0.000 0.257 0.000 57.187 0.516

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 41 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.71 0.12 1.00

time (sec)

N/A 0.047 5.180 14.539 0.000 0.000 9.480 93.596 0.482

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 230 355 132 0 0 0 0 0

N.S.

1 1.00 1.54 0.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 0.746 8.570 0.000 0.000 0.000 0.000 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 350 124 0 0 0 0 0

N.S.

1 1.00 2.08 0.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.256 7.556 0.000 0.000 0.000 0.000 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 353 81 0 0 0 0 0

N.S.

1 1.00 3.27 0.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.114 0.654 6.714 0.000 0.000 0.000 0.000 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 347 124 0 0 0 0 0

N.S.

1 1.00 2.07 0.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.141 0.236 7.315 0.000 0.000 0.000 0.000 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 355 132 0 0 0 0 0

N.S.

1 1.00 1.62 0.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.213 0.712 7.533 0.000 0.000 0.000 0.000 0.000

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 37 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.54 0.12 1.00

time (sec)

N/A 0.043 1.591 4.707 0.000 0.000 6.113 87.543 0.520

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 24 0 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.92 0.00 0.00 0.92

time (sec)

N/A 0.068 1.349 16.533 0.000 0.267 0.000 0.000 0.348

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.068 3.914 13.836 0.000 0.000 92.778 88.924 0.360

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 24 0 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 1.00 0.00 0.92

time (sec)

N/A 0.070 6.228 6.793 0.000 0.000 53.441 0.000 0.336

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 22 0 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.96 0.00 0.91

time (sec)

N/A 0.077 0.244 13.706 0.000 0.000 26.595 0.000 0.340

[next] [prev] [prev-tail] [front] [up]